Rigorous Reachability Analysis and Domain Decomposition of Taylor Models
نویسندگان
چکیده
منابع مشابه
Updating finite element model using frequency domain decomposition method and bees algorithm
The following study deals with the updating the finite element model of structures using the operational modal analysis. The updating process uses an evolutionary optimization algorithm, namely bees algorithm which applies instinctive behavior of honeybees for finding food sources. To determine the uncertain updated parameters such as geometry and material properties of the structure, local and...
متن کاملReachability Analysis for Affine Systems Using -Decomposition
This paper presents an approach to compute conservative approximations to the set of reachable states and outputs for affine systems using -decomposition techniques. Instead of performing reachability analysis on the full-order system model, the method presented in this paper first applies -decomposition to obtain a number of -coupled subsystem models, and then performs reachability analysis on...
متن کاملOutput-only Modal Analysis of a Beam Via Frequency Domain Decomposition Method Using Noisy Data
The output data from a structure is the building block for output-only modal analysis. The structure response in the output data, however, is usually contaminated with noise. Naturally, the success of output-only methods in determining the modal parameters of a structure depends on noise level. In this paper, the possibility and accuracy of identifying the modal parameters of a simply supported...
متن کاملUniaxial Buckling Analysis Comparison of Nanoplate and Nanocomposite Plate with Central Square Cut out Using Domain Decomposition Method
A comparison of the buckling analysis of the nanoplate and nanocomposite plate with a central square hole embedded in the Winkler foundation is presented in this article. In order to enhance the mechanical properties of the nanoplate with a central cutout, the uniformly distributed carbon nanotubes (CNTs) are applied through the thickness direction. In order to define the shape function of the ...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017